A Formal Architectural Style for Designing Multi-agent Systems
نویسندگان
چکیده
منابع مشابه
Formal architectural models for agent-based service systems
This paper describes formal architectural models for three types of service systems: static service system, dynamic service system and mobile service system. The system architectures are agent based. For each model, we investigate the properties and give the case study.
متن کاملDesigning Institutional Multi-Agent Systems
The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the participating agents and their behaviour. A substantial body of work exists that investigates agent societies and agent organizations, including work on electronic institutions, such as Islander and Ameli. However, although such...
متن کاملFormal Framework for Adaptive Multi-Agent Systems
Evolution of software challenges multi-agent systems to be adaptive and the adaptation capabilities should be provided at both the agent level and the system level. In this paper, we study the adaptation of multi-agent systems from the system level and describe a formal framework for multi-agent systems with adaptation capabilities. In the framework, agents are indirectly inter-connected via ro...
متن کاملArchitectural Properties of Multi-Agent Systems
One aspect of multi-agent systems (MAS) that has been only partially studied is their role in software engineering, and in particular their merit as a software architecture style. As we demonstrate, multi-agent systems developed to date have several common architectural characteristics, even though differences in their design and implementation result in variations in their strengths and weakne...
متن کاملDesigning invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems
norms in an institution specification Ins are subsumptions between descriptions stated in Lins, that is, elements of Γins\Γbridge or Ains\Abridge (see Definition 5.4). Concrete norms are, in contrast, subsumtpions between descriptions stated in Lbrute. The connections between the two is provided by the subsumptions of Ins to be found in Γbridge or Abridge. An example follows which clarifies the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indian Journal of Science and Technology
سال: 2014
ISSN: 0974-6846,0974-5645
DOI: 10.17485/ijst/2014/v7i5.23